-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
51	1995 Paper 4 Question 9 Computation Theory Explain what is meant by a primitive recursive function and by a partial recursive function. [6 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:04
52	2004 Paper 4 Question 9 Computation Theory (a) Explain what is meant by the following statements: (i ) f : N → N is a total recursive (TR) function; Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:18:00
53	On the completeness of quantum computation models Pablo Arrighi ´ Ecole normale sup´erieure de Lyon Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:52 Mathematical logic Applied mathematics Computable function Recursive set Enumeration Function Numbering Church–Turing thesis Computability Computability theory Theory of computation Mathematics
54	2001 Paper 4 Question 8 Computation Theory (a) Define precisely what is meant by the following: (i ) f (x1 , x2 , . . . xn ) is a Primitive Recursive (PR) function of arity n. [5 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:40
55	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
56	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
57	Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu Hayashi Add to Reading List Source URL: www.shayashi.jp Language: English - Date: 2008-10-02 07:57:24 Theory of computation Computability theory Function Integral calculus Primitive recursive function Fundamental theorem of calculus Mathematics Mathematical analysis Functions and mappings
58	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
59	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
60	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics

UPDATE